permutation formula derivation